The Complexity of Reasoning with Relative Directions
نویسنده
چکیده
Whether reasoning with relative directions can be performed in NP has been an open problem in qualitative spatial reasoning. Efficient reasoning with relative directions is essential, for example, in rule-compliant agent navigation. In this paper, we prove that reasoning with relative directions is ∃R-complete. As a consequence, reasoning with relative directions is not in NP, unless NP = ∃R.
منابع مشابه
Different Task Complexity Factors and Cognitive Individual Differences: The Effects on EFL Writers’ Performance
This study aimed at examining the main and interaction effects of increased intentional reasoning demands, planning time, and also language learning aptitude on syntactic complexity, accuracy, lexical complexity, and fluency (CALF) of 226 EFL learners’ performance on letter writing tasks. The participants were first randomly assigned to three experimental groups to be given a task with differin...
متن کاملClinical reasoning assessment through medical expertise theories: past, present and future directions
Exploration into the concept of "medical expert" dates back to more than 50 years ago, yet yielding three leading theories in the area of clinical reasoning, namely, knowledge structure, hypothetic-deductive, and dual process. Each theory defines “medical expert” in a dissimilar way. Therefore, the methods of assessment through which the experts are identified have been changed during the tim...
متن کاملTask Complexity Manipulation and Accuracy in Writing Performance
This study aimed to investigate the impact of task sequencing, along +/- reasoning demands dimension, on writing task performance in terms of accuracy. The study was motivated by Robinson’s Cognition Hypothesis (CH) as well as previous studies investigating the relationships between task complexity and second language production. The participants of the study were 90 intermediate students at t...
متن کاملQualitative Reasoning with Arbitrary Angular Directions
Agents operating in open fields, like robots, soldiers, rescue workers, or ships, may need to do qualitative reasoning with relative directions. We have introduced here a generalized framework for that purpose, with a parameterized angular zoning scheme (e.g., zoning with 60-degree or 90-degree). Such a parameterization of qualitative reasoning is a new direction, for an area that typically eng...
متن کاملThe effect of increase in task cognitive complexity on Iranian EFL learners’ accuracy and linguistic complexity: A test of Robinson’s Cognition Hypothesis
Designing a task with a reasonable level of cognitive complexity has always been important for syllabus designers, teachers, as well as researchers. This is because task manipulation may lead to different results in oral production. The present study was an attempt to explore the effect of this manipulation - based on Robinson’s resource-directing model (reasoning demands, number of el...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014